منابع مشابه
Generalizing König's infinity lemma
1 Introduction D. Kόnig's famous lemma on trees has many applications; in graph theory it is used to extend certain results from finite to infinite graphs (see Nash-Williams [7]); in logic it can be used to prove that a denumerable set of propositional formulas is satisfiable if every finite subset is (see, for example, Van Fraassen [9]). This last result, known as the compactness theorem for p...
متن کاملGeneralizing Newman's Lemma for Left-Linear Rewrite Systems
Confluence criteria for non-terminating rewrite systems are known to be rare and notoriously difficult to obtain. Here we prove a new result in this direction. Our main result is a generalized version of Newman’s Lemma for left-linear term rewriting systems that does not need a full termination assumption. We discuss its relationships to previous confluence criteria, its restrictions, examples ...
متن کاملMapping among the nodes of infinite trees: A variation of Kőnig's infinity lemma
Koenig’s infinity lemma states that an infinite rooted tree in which every node has finite degree has an infinite path. A variation of this lemma about mappings from one tree to another is presented in this note. Its proof utilizes Koenig’s lemma, and Koenig’s lemma follows from this variation.
متن کاملGeneralizing Halfspaces Generalizing Halfspaces
Restricted-orientation convexity is the study of geometric objects whose intersection with lines from some fixed set is empty or connected. We have studied the properties of restricted-orientation convex sets and demonstrated that this notion is a generalization of standard convexity. We now describe a restricted-orientation generalization of halfspaces and explore properties of these generaliz...
متن کاملInfinity-inner-products on A-infinity-algebras
In this paper the Hochschild-cochain-complex of an A∞-algebra A with values in an A∞-bimodule M over A and maps between them is defined. Then, an∞-inner-product on A is defined to be an A∞-bimodule-map between A and its dual A∗. There is a graph-complex associated to A∞-algebras with ∞-inner-product.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1977
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093887927